$\forall$$e$$<$${\it e'}$. $P$($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e$:E. ($e$ $<$loc ${\it e'}$) $\Rightarrow$ $P$($e$)